When does a Polynomial Ideal Contain a Positive Polynomial?
نویسندگان
چکیده
We use Gröbner bases and a theorem of Handelman to show that an ideal I of R[x1, . . . , xk] contains a polynomial with positive coefficients if and only if no initial ideal inv(I), v ∈ R, has a positive zero. Let R = R[x1, . . . , xk], R = R[x1, . . . , xk] and, considering Laurent polynomials, let R̃ = R[x1 , . . . , xk ], R̃ = R[x ± 1 , . . . , x ± k ]. For a = (a1, . . . , ak) ∈ Z, write x = x1 1 · · · xk k and denote the coefficient of x in p ∈ R̃ by pa. Then p = ∑ a∈Zk pax a and the Newton polytope N(p) of p is the convex hull of the finite set Log(p) = {a ∈ Z : pa 6= 0}. For v ∈ R, let inv(p) be the sum of pax over those a ∈ Log(p) for which the dot product a · v is maximal. For an ideal I ⊂ R and v ∈ R we have the initial ideal inv(I) = 〈inv(p) : p ∈ I〉 ⊂ R and the corresponding variety V(inv(I)) = {z ∈ C : inv(p)(z) = 0 ∀ p ∈ I}. Observe that in the case v = 0 the ideal inv(I) equals I. We write R for the positive reals. Theorem. An ideal I of R contains a nonzero element of R if and only if (R) ∩ V(inv(I)) = ∅ for all v ∈ R. It will be clear that there are analogous statements for ideals of R̃, as well as for ideals of polynomial (or Laurent polynomial) rings over Q or Z instead of R. The question “When does a submodule M of R contain an element of (R \{0})n ?” will be answered in a longer sequel. The present paper, in dealing with the simpler case n = 1, highlights the utility of Gröbner bases in positivity problems. One ingredient of our proof will be the following theorem of Handelman which deals with the case of a principal ideal. Handelman’s Theorem [H]. For p ∈ R the following are equivalent. (a) There exists q ∈ R such that qp ∈ R \ {0}. (b) We have inv(p)(z) 6= 0 for every v ∈ R and z ∈ (R). A short and self-contained account of the proof of Handelman’s theorem may be found in [DT]. The other ingredient we need is the basic theory of Gröbner bases. Everything we use from this theory can be found in the first 50 pages of [AL]. Date: June 15, 2000. 1991 Mathematics Subject Classification. 13P10,26C05.
منابع مشابه
Topics on the Ratliff-Rush Closure of an Ideal
Introduction Let be a Noetherian ring with unity and be a regular ideal of , that is, contains a nonzerodivisor. Let . Then . The :union: of this family, , is an interesting ideal first studied by Ratliff and Rush in [15]. The Ratliff-Rush closure of is defined by . A regular ideal for which is called Ratliff-Rush ideal. The present paper, reviews some of the known prop...
متن کاملSolution Set 11 Daniel
1 (a) Claim: R[X, Y ] is not a Euclidean domain. Proof: If R[X, Y ] was a Euclidean domain, then it would be a principal ideal domain. But consider I = (x, y) = (x) + (y). I is certainly not a principal ideal, as if it were, there would be some polynomial, g that divides everything in I, so g would divide x, implying that g does not contain any monomials with positive degree in y, and likewise ...
متن کاملOn the domination polynomials of non P4-free graphs
A graph $G$ is called $P_4$-free, if $G$ does not contain an induced subgraph $P_4$. The domination polynomial of a graph $G$ of order $n$ is the polynomial $D(G,x)=sum_{i=1}^{n} d(G,i) x^{i}$, where $d(G,i)$ is the number of dominating sets of $G$ of size $i$. Every root of $D(G,x)$ is called a domination root of $G$. In this paper we state and prove formula for the domination polynomial of no...
متن کاملThe Calculation of Radical Ideals in Positive Characteristic
We propose an algorithm for computing the radical of a polynomial ideal in positive characteristic. The algorithm does not involve polynomial factorization.
متن کاملInequalities for the polar derivative of a polynomial with $S$-fold zeros at the origin
Let $p(z)$ be a polynomial of degree $n$ and for a complex number $alpha$, let $D_{alpha}p(z)=np(z)+(alpha-z)p'(z)$ denote the polar derivative of the polynomial p(z) with respect to $alpha$. Dewan et al proved that if $p(z)$ has all its zeros in $|z| leq k, (kleq 1),$ with $s$-fold zeros at the origin then for every $alphainmathbb{C}$ with $|alpha|geq k$, begin{align*} max_{|z|=...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009